Pair-based Subrecursion
نویسنده
چکیده
منابع مشابه
Streamlined subrecursive degree theory
The study of honest elementary degrees has its roots in subrecursion theory from the nineteen seventies. Some relevant papers are Meyer & Ritchie [12] and Machtey [9–11]. These papers deal with subrecursive function classes being generated by so-called honest functions where an honest function is defined relative to a subrecursive class S and a model of computation: a function f : N → N is hone...
متن کاملSubrecursion as a Basis for a Feasible Programming Language
We are motivated by nding a good basis for the semantics of programming languages and investigate small classes in subrecursive hierarchies of functions. We do this with the help of pairing functions because in this way we can explore the amazing coding powers of S-expressions of LISP within the domain of natural numbers. In the process of doing this we introduce a missing stage in Grzegorczyk-...
متن کاملSpectrophotometric Methods for Determination of Sunitinib in Pharmaceutical Dosage Forms Based on Ion-pair Complex Formation
Three rapid spectrophotometric methods were developed for the determination of sunitinib based on the formation of ion-pair complex in acidic medium with bromocresol purple, bromothymol blue, and bromophenol blue. The formed ion-pair complexes, extractable with chloroform, were measured at 422 nm for bromocresol purple, 425 nm for bromothymol blue and 427 nm for bromophenol blue. All these meth...
متن کاملSpectrophotometric Methods for Determination of Sunitinib in Pharmaceutical Dosage Forms Based on Ion-pair Complex Formation
Three rapid spectrophotometric methods were developed for the determination of sunitinib based on the formation of ion-pair complex in acidic medium with bromocresol purple, bromothymol blue, and bromophenol blue. The formed ion-pair complexes, extractable with chloroform, were measured at 422 nm for bromocresol purple, 425 nm for bromothymol blue and 427 nm for bromophenol blue. All these meth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994